Update Formula.scala

* add Map of literal -> list of clauses where that literal is present.