Initial Commit for Calculator without BDD