automated sending asserts and queries