super(goal);
}
public IGoal[] init() {
ExpressionTypeGoal typedGoal = (ExpressionTypeGoal) goal;
PostfixExpression postfixExpression = (PostfixExpression) typedGoal
.getExpression();
return new IGoal[] { new ExpressionTypeGoal(goal.getContext(),
postfixExpression.getVariable()) };
}