fix to case where exception is thrown when...

fix to case where exception is thrown when evaluation propositions