public JL5Formal JL5Formal(Position pos, FlagAnnotations flags, TypeNode type, String name, boolean variable);
public JL5Formal JL5Formal(Position pos, FlagAnnotations flags, TypeNode type, String name);
    public JL5Formal JL5Formal(Position pos, FlagAnnotations flags, TypeNode type, String name, boolean variable);