Add selective enablement for non-LRM-compliant code

#(247) - Support this case (if (a inside b)) as a non-LRM-compliant case. Added an extensible
  preference scheme to allow the user to selectively enable non-LRM cases.