A very quick correctness test of F-SAPT (see fsapt1 for a real example)
