Add preliminary data from teting GHC properties