Basic implementation of HalForm as test concept