Cleanup of SpecLines class.
Stub of conflict explanation.
Set memory props to be false initially.
Fixes crash in qunatifier expansion.