added sig instance methods to can squander-like execute alloy predicates