implement abstraction in evaluator to target secd machine