Update/resolve code fragments which are tagged FIXME
Check noisy and verification sections whether they are really wanted when going into production