Bases: titus.errors.PFAException
Exception for PFA semantic errors (higher-level PFA rules are broken, such as type mismatches).