Initial version of FindNoSyns