Changed type of precondition in ActionSpecification to include error message