case classInsideLitDecompPoint(_atom: Atom, left: Seq[Term], _leftLen: LinearCombination, right: Seq[Term], stringLit: Int, stringLitPos: Int) extends DecompPoint with Product with Serializable
case classSimpleDecompPoint(_atom: Atom, left: Seq[Term], _leftLen: LinearCombination, right: Seq[Term]) extends DecompPoint with Product with Serializable