Removed repeated pop causing runtime errors on disproved properties
Send out correct message on proved properties
Reformulated error messages
Merge pull request #87 from chsticksel/master

Small bugfixes