Towards a non monotonic agent testing, reasoning about messages and behavior