Tests for CFG constructor written

all passed