public override Expression CloneApplySuffix(ApplySuffix e)
{
if (_state.IsTacticCall(e))
{
_aps = base.CloneApplySuffix(e) as ApplySuffix;
return(_aps);
}
return(base.CloneApplySuffix(e));
}
public override bool MatchStmt(Statement stmt, ProofState state)
{
var us = stmt as UpdateStmt;
return(us != null && state.IsTacticCall(us));
}