Machine in VarContext