* @param parent
   * @param caseSensitiveP
   * @return Module
   */
  public static Module createModule(String name, Module parent, boolean caseSensitiveP) {
    { String fullName = ((parent != null) ? (parent.moduleFullName + "/" + name) : name);
      Symbol caseSensitiveSymbol = (caseSensitiveP ? Logic.SYM_STELLA_TRUE : Logic.SYM_STELLA_FALSE);

      return (Module.defineModule(fullName, Cons.list$(Cons.cons(PLI.KWD_CASE_SENSITIVEp, Cons.cons(caseSensitiveSymbol, Cons.cons(Stella.NIL, Stella.NIL))))));
    }
  }