Adding license were it's missing
Fixing hanging bug
Checking for 'ok' on xor clause