- automation now also works if the expected predicate name is an expression (Thanks to Willem for reporting this problem.)
- automation now also works if the expected predicate name is an expression (Thanks to Willem for reporting this problem.)

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast