Minor style fixes
Merge branch 'asp' into dev/prolog
Fixed how effect inclusion constraints are stored and asserted to Prolog so that methods
with no definitions (e.g., libraries) -- and thus no inclusion constraints -- are
assumed to be PURE instead of not outputing an effect summary which was causing the
Prolog effect inference to choke.