WyIL: some fixes related to Block.attributes()