Exceptions in methods annotated with Constraint or Setup are now shown