Added unitary testing at formiga