Discriminating Lambda-Terms Using Clocked Boehm Trees (Logical Methods in Computer Science, 2014)