Implemented Kleene fixpoint algorithm + re-indentation