Few fixes in resolution module. Added dot proof output.