public static Cons transformProceduralExpression(Cons statement, Cons vrexpression, StandardObject type, Object [] MV_returnarray) {
    if (StandardObject.typeSpecToBaseType(type) == Stella.SGT_STELLA_BOOLEAN) {
      return (Cons.transformBooleanProceduralExpression(statement, vrexpression, MV_returnarray));
    }
    else {
      return (Cons.transformVrletExpression(statement, vrexpression, MV_returnarray));
    }
  }