Removed "assume" block from test, merged with "given" instead